Generative AI and the P=NP problem
lesswrong.com·14h
🔀Procedural Generation
Flag this post
Cracking the Code: Automated Theorem Proving and the Rise of Verifiable AI
🎭Program Synthesis
Flag this post
Show HN: Mathematical parameter selection to eliminate synchronization bugs
🕐Vector Clocks
Flag this post
Rectify Evaluation Preference: Improving LLMs' Critique on Math Reasoning via Perplexity-aware Reinforcement Learning
arxiv.org·2d
📊Dynamic Programming
Flag this post
I'm building a language that compiles Haskell-style Monads and RAII down to high-performance C. I call it Cicili
λFunctional Programming
Flag this post
Conquering Complexity: Parallel Proof Search for Superhuman AI by Arvind Sundararajan
🎭Program Synthesis
Flag this post
Solving Project Euler #45
📊Dynamic Programming
Flag this post
AI Limits: How Junior Developers Can Thrive by Understanding AI's Limits
💬Prompt Engineering
Flag this post
OrKa v0.9.6: deterministic agent routing for local LLM stacks (multi factor scoring, OSS)
🦙Ollama
Flag this post
I tested GPT-5.1 Codex against Sonnet 4.5, and it's about time Anthropic bros take pricing seriously.
📦Folly
Flag this post
Position-Candidate-Hypothesis (PCH) Paradigm: A New Research Direction for NP-Complete Problems
🌳Tree-sitter
Flag this post
One Prompt to Rule Them All: How I Made Cursor, Claude & ChatGPT Code Better
pub.towardsai.net·1h
🎭Program Synthesis
Flag this post
ML Systems Textbook by Havard
🚀MLOps
Flag this post
Google’s new AI training method helps small models tackle complex reasoning
venturebeat.com·1d
💬Prompt Engineering
Flag this post
Omnidirectional type inference for ML: principality any way
arxiv.org·2d
🎯Hindley-Milner
Flag this post
November 2025 Short-Term Q3 Project Updates
clojuriststogether.org·2d
🍱Nom
Flag this post
Loading...Loading more...